机译:专为第三届自动推理中的决策程序的语用学研讨会论文集编写的《理论计算机科学电子笔记》特刊的序言(PDPAR 2005)
机译:1995年8月1日,意大利比萨,沃尔泰拉,理论计算机科学,第2卷-程序,图形重写和计算联合COMPUGRAPH / SEMAGRAPH讲习班(SEGRAGRA '95)上的电子注释的内容和摘要。
机译:理论计算机科学电子笔记的内容和摘要,第4卷-首届重写逻辑及其应用国际研讨会的会议记录,1996年9月3日至6日,加利福尼亚州太平洋丛林市,阿西洛玛会议中心
机译:格列高·尼科利斯(Gregoire Nicolis)六十岁生日之际特刊-北约高级研究研讨会论文集“非线性科学:动力学和随机性,布鲁塞尔,1999年6月30日至7月3日-前言
机译:1995年8月1日,意大利比萨,沃尔泰拉,理论计算机科学,第2卷-程序,图形重写和计算联合COMPUGRAPH / SEMAGRAPH讲习班(SEGRAGRA '95)上的电子注释的内容和摘要。
机译:重写逻辑及其应用第一届国际研讨会,asilomarConference Center,加利福尼亚州太平洋丛林,1996年9月3 - 6日。第4卷理论计算机科学电子笔记